pseudo-complemented lattice

伪补格